$\forall$$p$:(ES\{i\}$\rightarrow$Prop$_{\mbox{\scriptsize i'}}$), $e$:possible{-}event\{i:l\}($p$). pe{-}es($e$) $\in$ ES\{i\}